Nuprl Definition : lnk-decl
11,40
postcript
pdf
lnk-decl(
l
;
dt
) == <map((
tg
.rcv(
l
,
tg
)); (
dt
.1)),
k
.fpf-ap(
dt
; id-deq; (outl(
k
).2))>
latex
Definitions
map(
f
;
as
)
,
rcv(
l
,
tg
)
,
t
.1
,
fpf-ap(
f
;
eq
;
x
)
,
id-deq
,
t
.2
,
outl(
x
)
FDL editor aliases
lnk-decl
origin
tg.rcv(l,tg)); (dt.1)), k.fpf-ap(dt; id-deq; (outl(k).2))> tg.rcv(l,tg)); (dt.1)), k.fpf-ap(dt; id-deq; (outl(k).2))>